Search results for "higher-order [correlation]"
showing 10 items of 13 documents
A Multilayered Plate Theory with Transverse Shear and Normal Warping Functions
2016
A multilayered plate theory which takes into account transverse shear and normal stretching is presented. The theory is based on a seven-unknowns kinematic field with five warping functions. Four warping functions are related to the transverse shear behaviour, the fifth is related to the normal stretching. The warping functions are issued from exact three-dimensional solutions. They are related to the variations of transverse shear and normal stresses computed at specific points for a simply supported bending problem. Reddy, Cho-Parmerter and (a modified version of) Beakou-Touratier theories have been retained for comparisons. Extended versions of these theories, able to manage the normal s…
Dynamic accommodation without feedback does not respond to isolated blur cues
2016
Highlights • A new methodology is used to study a potential cue for dynamic accommodation. • We show that human accommodation is not driven correctly by defocus alone. • Accommodation is most efficient using changes in stimulus vergence with feedback.
Review on Higher-Order Neural Units to Monitor Cardiac Arrhythmia Patterns
2017
An electrocardiogram (ECG) is a non-invasive technique that checks for problems with the electrical activity of a patient’s heart. ECG is economical and extremely versatile. Some of its characteristics make it a very useful tool to detect cardiac pathologies. The ECG records a series of characteristic waves called PQRST; however, the QRS complex analysis enables the detection of a type of arrhythmia in an ECG. Technological developments enable the storage of a large amount of data, from which knowledge extraction is impossible without a powerful data processing tool; in particular, an adequate signal processing tool, whose output provides reliable parameters as a basis to make a precise cli…
Logics with counting and equivalence
2014
We consider the two-variable fragment of first-order logic with counting, subject to the stipulation that a single distinguished binary predicate be interpreted as an equivalence. We show that the satisfiability and finite satisfiability problems for this logic are both NEXPTIME-complete. We further show that the corresponding problems for two-variable first-order logic with counting and two equivalences are both undecidable.
Unveiling the Chemistry of Higher-Order Cycloaddition Reactions within the Molecular Electron Density Theory
2022
The higher-order cycloaddition (HOCA) reaction of tropone with cyclopentadiene (Cp) has been studied within the Molecular Electron Density Theory. The Electron Localization Function (ELF) analysis of the electronic structure of tropone and Cp characterizes the structural behaviors of the two conjugated unsaturated systems, while the conceptual DFT reactivity indices classify tropone as a strong electrophile and Cp as a strong nucleophile participating in polar cycloaddition reactions of reverse electron density flux. Eight competitive reaction paths have been characterized for this cycloaddition reaction. The most favorable one allowing the formation of the formal out [6 + 4] cycloadduct ha…
The local boundedness of solutions for a class of degenerate nonlinear elliptic higher-order equations withL1-data
2008
We prove local boundedness of solutions for a class of degenerate nonlinear elliptic higher-order equations with L(1)-data.
Spectral distribution and Coulomb correction for nuclear bremsstrahlung induced by heavy targets
2021
Abstract Bremsstrahlung spectra below 250 MeV have been measured colliding 500 MeV–electrons with Cu, Ag, and Au targets. The experimental intensity ratios relative to Cu are well described by an accurate analytical high-energy theory, which accounts both for Coulomb distortion and screening. This represents the first experimental verification of the discovery by Bethe-Maximon that leading-order quantum mechanical calculations, equivalent to quasiclassical approximations, become exact at high energies and small angles. It also shows that radiative QED effects play a minor role in the covered part of the spectral distribution within the accuracy (1.6%) of the present measurements.
Monadic second-order logic over pictures and recognizability by tiling systems
1994
We show that a set of pictures (rectangular arrays of symbols) is recognized by a finite tiling system if and only if it is definable in existential monadic second-order logic. As a consequence, finite tiling systems constitute a notion of recognizability over two-dimensional inputs which at the same time generalizes finite-state recognizability over strings and matches a natural logic. The proof is based on the Ehrenfeucht-FraIsse technique for first-order logic and an implementation of “threshold counting” within tiling systems.
Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems
1996
Abstract It is shown that a set of pictures (rectangular arrays of symbols) is recognized by a finite tiling system iff it is definable in existential monadic second-order logic. As a consequence, finite tiling systems constitute a notion of recognizability over two-dimensional inputs which at the same time generalizes finite-state recognizability over strings and also matches a natural logic. The proof is based on the Ehrenfeucht–Fraisse technique for first-order logic and an implementation of “threshold counting” within tiling systems.